/*
 * saturation.h
 *
 *  Created on: Jul 22, 2012
 *      Author: baris
 */

#ifndef SATURATION_H_
#define SATURATION_H_

#include "../model/datatypes.h"

void init_saturation();

void saturate_tbox(TBox* tbox);


#endif /* SATURATION_H_ */
